9. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
10. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
11. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
12. Philosophical remarks
پدیدآورنده : Wittgenstein, Ludwig, 9881-1591
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical,Philosophy ، Mathematics
رده :
B3376
.
W563
P413
1964
13. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
QA
9
.
65
.
M68
14. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
BC
135
.
M6
15. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
پدیدآورنده :
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
رده :
BC
135
.
M6